functor相关论文
Let L be a lattice of all experimentally verifiable propositions concerning a physical system S.Let B(L) be a category o......
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matt......
The distributivity of the forgetful functor F and of certain subfunctors of F has been studied....
The purpose of this paper is to study the action of a finite automorphism group G of a commutative Noetherian ring A on ......
引进π－特征函子和熔合的概念，研究了一类特殊的有限群的π－Ｈａｌｌ子群在熔合理论中的应用，并得到了一些有用的结果。......
论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律....
提出了一种基于范畴论的多目标语言程序生成架构,程序元素的元类型在程序元模型范畴中定义,常用的软件开发模式由元模型实例组成并......
本文提出了模糊格蕴涵代数范畴ＦＬＣ的概念，讨论了它的一些基本性质并指出了它与范畴ＬＣ的关系。......
对算符x^在P表象中的形式作了简要推演，指出量子力学中表象理论的价值所在，以及在具连续本征值的X及P表象中，矩阵表示的一种等价表述．......
通过一类特殊的模范畴Rχ（sχ）,使Rχ-包（盖）在Morita context函子作用下转化为sχ-包（盖）,最后利用正向极限的特性,进一步刻画这类特殊......
通过上临界模在Morita context函子作用下所保持的性质，引入了τψ-素挠理论，再讨论τψ-素挠理论的特殊性质；并通过R—tors中CenR(τ......
基于群中元素的交换性，构造了一个函子G：Groups→s -Graphs ，并且构造了其反向函子F：s -Graphs→Groups ，证明了F恰是G的伴随函子。......
We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩^gH ≤ P for any g ∈ G-H, then the ope......
文章介绍一种从汉语语句中提取逻辑函子的方法。该方法基于汉语配价理论，用组合逻辑方法将动词结构表示成逻辑函子，解决了多ＮＰ竞争一个......
状态空间爆炸问题是模型检测的最大障碍．从余归纳（特别是余代数）的角度研究了这个问题．用余归纳的方法证明：（1）对于任意给定的一类Kripke......
设C,D是两个范畴,S,T∶C→D是两个函子,η∶S→T是自然变换,另外T0T1C→C×2分别是顶函子和底函子,μ∶T0→T1是自然变换.给出......
介绍了 Ｌ－Ｆｕｚｚｙ拓群范畴，引入了两个函了了，构造了它们的右伴随函数子，证明了分明拓扑群范畴和诱导Ｌ－Ｆｕｚｚｙ拓扑群范畴都是Ｌ－Ｆｕｚｚｙ拓扑群范畴的余反射子范畴......
设K2是Milnor函子,Φn(x)∈Q[x]是分圆多项式.Gn(Q)表示形如{a,Φn(a)}的元素组成的集合,其中a∈Q*. J. Browkin证明了Gn(Q)在n=1,......
本文在余Comma范畴上引进拉回函子概念,并讨论了拉回函子的性质....
给出了Ｓ－系预根的概念，讨论了它的基本性质，并给出了预根与Ｓ的右线性拓扑的关系。...
本文利用δ函数,采用狄拉克符号,系统的阐述了坐标算符和动量算符分别在坐标和动量表象中的具体形式及相关问题.......
利用一般范畴D构造了新范畴ID和I^opD，证明了若D是Abel范畴，则存在范畴ID到I^opD的忠实函子，且ID也是Abel范畴。......
摘要：讨论S-系范畴函子Z(-)的正合性，证明函子Z(-)是左正合的，且给出它是正合的一个充要条件．......
在多饱和模型下研究了由度量空间诱导的*-拓扑■和s-拓扑■.首先,为了构造*-拓扑■,提出了有限点集的概念.其次,在此拓扑空间中证......
本文讨论F幂集之间的复合同态的性质,如它与截集、合成运算,余运算之间的关系等.并且利用这种同态引入了一种范畴FS,建立了集范畴S......
给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.......
构造范畴WPC，论证它与拓扑分子格范畴CDB等价；并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴，为研究经典拓扑学与Fuzzy拓扑学......
该文构造了一个从布尔代数范畴到满足可补性质的双重Stone代数范畴的函子，并证明了这个函子有一个等价的左伴随函子。......
In this paper the integrals of entwining structure (A,C,ψ) are discussed, where A is a k-algebra, C a k-coalgebra and a......
本文讨论了Ｓ－系范畴函数Ｚ（－）的正合性，证明了函数Ｚ（－）是左正合的，且给出了它是正合的一个充要条件。......
...
研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴Mod C上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范......
本文从范畴论的观点出发，首次引入代数结构的泛性并，弱泛性并的概念，讨论了它们的存在性及关系，为研究代数结构的并问题开辟了一种新途......
Let A be a Frobenius k-algebra.The matrix algebra R=(A AAk kAA k)is called a generalized matrix algebra over a Frobenius......
